Practical aspects of automated first-order reasoning
نویسنده
چکیده
10
منابع مشابه
Manfred Kerber Proof Planning: a Practical Approach to Mechanized Reasoning in Mathematics
The attempt to mechanize mathematical reasoning belongs to the first experiments in artificial intelligence in the 1950 (Newell et al., 1957). However, the idea to automate or to support deduction turned out to be harder than originally expected. This can not at least be seen in the multitude of approaches that were pursued to model different aspects of mathematical reasoning. There are differe...
متن کاملFirst-Order Logic According to Harrison
We present a certified declarative first-order prover with equality based on John Harrison’s Handbook of Practical Logic and Automated Reasoning, Cambridge University Press, 2009. ML code reflection is used such that the entire prover can be executed within Isabelle as a very simple interactive proof assistant. As examples we consider Pelletier’s problems 1-46.
متن کاملPAAR - 2012 Third Workshop on Practical Aspects of Automated Reasoning
SAT solving techniques are used in many automated reasoning engines. This talk gives an overview on recent developments in practical aspects of SAT solver development. Beside improvements of the basic conflict driven clause learning (CDCL) algorithm, we also discuss improving and integrating advanced preprocessing techniques as inprocessing during search. The talk concludes with a brief overvie...
متن کاملPractical Aspects of SAT Solving
SAT solving techniques are used in many automated reasoning engines. This talk gives an overview on recent developments in practical aspects of SAT solver development. Beside improvements of the basic conflict driven clause learning (CDCL) algorithm, we also discuss improving and integrating advanced preprocessing techniques as inprocessing during search. The talk concludes with a brief overvie...
متن کاملOn Practical Reasoning and Automated Planning
Practical reasoning and automated planning are strictly related as they strive to answer to the same question: “which is the best course of action for an agent?” While the first research field addressed this topic mainly from an epistemological point of view, automated planning dealt with this question for the most partfrom a heuristic or reasoning perspective. In this position paper we want to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012